Properties of Directed Rough Graph
نویسندگان
چکیده
منابع مشابه
Directed prime graph of non-commutative ring
Prime graph of a ring R is a graph whose vertex set is the whole set R any any two elements $x$ and $y$ of $R$ are adjacent in the graph if and only if $xRy = 0$ or $yRx = 0$. Prime graph of a ring is denoted by $PG(R)$. Directed prime graphs for non-commutative rings and connectivity in the graph are studied in the present paper. The diameter and girth of this graph are also studied in the pa...
متن کاملdynamic coloring of graph
در این پایان نامه رنگ آمیزی دینامیکی یک گراف را بیان و مطالعه می کنیم. یک –kرنگ آمیزی سره ی رأسی گراف g را رنگ آمیزی دینامیکی می نامند اگر در همسایه های هر رأس v?v(g) با درجه ی حداقل 2، حداقل 2 رنگ متفاوت ظاهر شوند. کوچکترین عدد صحیح k، به طوری که g دارای –kرنگ آمیزی دینامیکی باشد را عدد رنگی دینامیکی g می نامند و آنرا با نماد ?_2 (g) نمایش می دهند. مونت گمری حدس زده است که تمام گراف های منتظم ...
15 صفحه اولSeparation Properties for Graph-Directed Self-Similar Fractals
Examples of “separation properties” for iterated function systems of similitudes include: the open set condition, the weak separation property, finite type. Alternate descriptions for these properties and relations among these properties have been worked out. Here we consider the same situation for “graph-directed” iterated function systems, and provide the definitions and proofs for that setti...
متن کاملProperties of Rough Approximations
Rough set theory, introduced by Pawlak [10], is a mathematical formalism dealing with uncertainty and to some extent overlapping fuzzy set theory introduced by Zadeh [12]. In fuzzy set theory vagueness is expressed by a membership function. The rough set theory approach is based on indiscernibility relations and approximations. A major advantage of rough set theory is that it needs no prelimina...
متن کاملConflict-Directed Graph Coverage
Abstract. Many formal method tools for increasing software reliability apply Satisfiability Modulo Theories (SMT) solvers to enumerate feasible paths in a program subject to certain coverage criteria. Examples include inconsistent code detection tools and concolic test case generators. These tools have in common that they typically treat the SMT solver as a black box, relying on its ability to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: DEStech Transactions on Computer Science and Engineering
سال: 2017
ISSN: 2475-8841
DOI: 10.12783/dtcse/aice-ncs2016/5635